#include "console.h"

// 向控制台输出单个字符
void console_putc(char c)
{
  if(c == BACKSPACE){
    uart_putc('\b'); 
    uart_putc(' '); 
    uart_putc('\b');
  } else {
    uart_putc(c);
  }
}

// 向控制台输出字符串
void console_puts(char *s) 
{
    while (*s != '\0') {
        console_putc(*s);
        s++;
    }
}

void console_init(void)
{
    uart_init();
    console_puts("Console initialized.\n");
}